From Lossy to Lossless Reasoning
manidoraisamy.comยท4hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Ÿ”—Combinatory Logic
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Ÿ”€Category Theory
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.orgยท18h
๐Ÿ”—Parser Combinators
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.ioยท2h
๐ŸŒŠStreaming Systems
Flag this post
Let's Poison Your LLM Application: A Security Wake-Up Call
dev.toยท1dยท
Discuss: DEV
๐ŸงชBinary Fuzzing
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.orgยท8hยท
Discuss: Hacker News
๐Ÿ”—Monadic Parsing
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท21hยท
๐Ÿ’งLiquid Types
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท2hยท
Discuss: Hacker News
๐Ÿ—๏ธCompiler Archaeology
Flag this post
Watch the recordings from my Python + AI series
blog.pamelafox.orgยท8hยท
๐ŸŽ™๏ธWhisper
Flag this post
Everything About Transformers
krupadave.comยท1d
๐Ÿ“Text Parsing
Flag this post
Ajla Tutorial
ajla-lang.czยท22hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.comยท3hยท
Discuss: Hacker News
๐Ÿ—ฃ๏ธDomain-Specific Languages
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.netยท1d
๐ŸŒ€Brotli Dictionary
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.orgยท18h
๐Ÿ“ABNF Extensions
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท2dยท
ฮปLambda Encodings
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท53m
โšกProof Automation
Flag this post
Show HN: I'm building an open source platform for studying Arabic
parallel-arabic.comยท6hยท
Discuss: Hacker News
๐Ÿ“ABNF Extensions
Flag this post